Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
11	Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2016-05-02 10:01:00 Mathematics Mathematical logic Logic Logic in computer science Constructible universe Peano axioms Factorization Algebraic logic Dialectica interpretation Combinatory logic
12	PUBLICATIONS I. Refereed journal papers: 1. Adel Bouhoula, Emmanuel Kounalis, and Michaël Rusinowitch. Automated Mathematical Induction. Journal of Logic and Computation, 5(5):, Adel Bouhoula and Michae Add to Reading List Source URL: www.supcom.mincom.tn Language: English - Date: 2013-09-16 09:16:40 Genealogy Adel
13	The VLDB Journal:103–128 DOIs00778z REGULAR PAPER Sampling from repairs of conditional functional dependency Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:41:42 Mathematics Mathematical logic Data modeling Functional dependency Permutation Equivalence relation Cardinal number Cardinality Tuple Subset Structure
14	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
15	UNEDITED VERSION. The final version is to appear in the International Journal of Green Economics, 2009 Catastrophic Risks Graciela Chichilnisky December 2008 revised July 2009 Add to Reading List Source URL: chichilnisky.com Language: English - Date: 2013-05-20 13:57:55 Mathematics Decision theory Game theory Z notation Utility Expected utility hypothesis S Axiom of choice Axiom Logic Mathematical logic Formal systems
16	Jordan Journal of Mathematics and Statistics (JJMS) 8(1), 2015, ppA DECOMPOSITION OF PAIRWISE CONTINUITY K.M. ARIFMOHAMMED (1) Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2015-05-04 07:48:52 General topology Estimation theory Calculus Continuous function Entailment Interior Θ Parametric model Grassmann integral Logic Mathematical logic Mathematics
17	Logic Journal of IGPL Advance Access published August 9, 2007 Logic for Mathematical Writing EDMUND HARRISS, Department of Mathematics, Imperial College London, London SW7 2AZ. E-mail: . Add to Reading List Source URL: www.mathematicians.org.uk Language: English - Date: 2009-09-28 10:54:02 Mathematical logic Philosophy of mathematics Abstraction Axiology Mathematical proof Axiom Combinatory logic Natural deduction David Hilbert Mathematics Logic Knowledge
18	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
19	Difference, Cognition, and Mathematics Education* VALERIE WALKERDINE An invited talk given to the International Group for the Psychology of Mathematics Education Mexico City, July 1990 Add to Reading List Source URL: flm-journal.org Language: English* - Date: 2014-05-15 16:16:03 Mathematics education Philosophy of mathematics Reason Logic Education Mathematical analysis Mathematician Mathematical proof Ethnomathematics Knowledge Mathematics Science
20	JOURNAL OF INFORMATION ARCHITECTURE \| VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona Add to Reading List Source URL: journalofia.org Language: English - Date: 2011-01-31 09:25:41 Knowledge representation Abstraction Predicate logic Model theory Library classification Hierarchy Function Predicate Property Mathematical logic Logic Mathematics

UPDATE